1. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
2. Automatische Komplexitätsanalyse funktionaler Programme
پدیدآورنده : Wolf Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming (Computer science),System analysis.,Zeitkomplexität.
رده :
QA76
.
62
W654
1990
3. Oriented and Cloud Computing-Service
پدیدآورنده : / Kiu Lau-Massimo Villari, Wolf Zimmermann, Kung
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Theory of earth science
پدیدآورنده : [By] Wolf Von Englehardt and Jorg Zimmermann; Translated by Lenore Fischer
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Earth sciences - philosophy
